Probabilistic testing coverage
نویسنده
چکیده
This paper describes a way to compute the coverage for an on-the-fly test generation algorithm based on a probabilistic approach. The on-the-fly test generation and execution process and the development process of an implementation from a specification are viewed as stochastic processes. The probabilities of the stochastic processes are integrated in a generalized definition of coverage. The generalized formulas were instantiated for the ioco theory and for the specification of the TorX test generation algorithm. Key-Words: testing, coverage, test selection, probability, stochastic process, formal methods
منابع مشابه
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool
We describe probabilistic testing algorithms for RIP and OSPF routing protocols. Unlike commercial testing tools, which select their test cases in an ad-hoc manner, our technique has a guaranteed fault coverage. Another key advantage of using a probabilistic technique is that by repeating the test with independent sample of random numbers, we can increases the fault-coverage. These algorithms a...
متن کاملProbabilistic Networks as a Means of Testing Web- Based Applications
The article describes the mechanism used to control GUI tests coverage and the technique of GUI application under test model building using probabilistic networks. The technology of combining GUI tests into the common network has been developed. The mechanism to report defects is proposed. Keywords— probabilistic network testing; web interfaces; automation
متن کاملFault Detection of Hierarchical Networks with Probabilistic Testing Algorithms
As communications networks are expanding to larger areas the control and maintenance of routing information are becoming a formidable task. To cope with its size and complexity and to make the network reliable and scalable hierarchical network has been proposed with new features to support the information infrastructure. However, the network hierarchy adds more complications to the network desi...
متن کاملProbabilistic Networks Basis Criteria of Quality Assurance
The paper considers the application interface testing technology on the basis of probabilistic networks; it offers the criteria of reliability dependence measure for the different application modules sharing the same functionality; it proposes an expand criterion of the testing completeness by the measure of uncertainty of the modules reliability; it is shown how to use automated mechanism of t...
متن کاملPersian Handwritten Digit Recognition Using Particle Swarm Probabilistic Neural Network
Handwritten digit recognition can be categorized as a classification problem. Probabilistic Neural Network (PNN) is one of the most effective and useful classifiers, which works based on Bayesian rule. In this paper, in order to recognize Persian (Farsi) handwritten digit recognition, a combination of intelligent clustering method and PNN has been utilized. Hoda database, which includes 80000 P...
متن کامل